Using Model-Based Diagnosis to Improve Software Testing
نویسندگان
چکیده
It is often regarded as best-practice that the case the developer that writes a program, and the tester that tests the program, are different people. This supposedly allows unbiased testing. This separation is also motivated by economic reasons. As a result, the tester, especially in black-box testing, is oblivious to the underlying code. Thus, when a bug is found, the tester can only file a bug report, which is later passed to the developer. The developer is then required to reproduce the bug found by the tester, diagnose the cause of this bug, and fix it. The first two task are often very time consuming. In our research, we aim at improving the process of software testing, by automatically directing the tester to provide focused testing when a bug is found. The purpose of these additional tests is to gather information that will be used by an automatic software diagnosis algorithm that will identify the root cause of the bug. The programmer is then given, in addition to the traditional bug report, the exact software component that caused this bug. Then, the time of the programmer is only spent on fixing the bug in the faulty software component. As a result, this focused testing and diagnosis process can result in substantial savings of programmer time, at the expense of minimal additional effort by the tester.
منابع مشابه
Distributed Black-Box Software Testing Using Negative Selection
In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...
متن کاملPower Auto-transformer Mechanical Faults Diagnosis Using Finite Element based FRA
Frequency response analysis (FRA) is a sensitive method established for testing the mechanical integrity of transformers. However, interpretation of FRA signature still needs expert opinions and there is no FRA interpretation code generally accepted. Various mechanical faults with different extents on power transformers are required to aid FRA interpretation. To address this challenge, in...
متن کاملSoft Tissue Modeling Using ANFIS for Training Diagnosis of Breast Cancer in Haptic Simulator
Soft tissue modeling for the creation of a haptic simulator for training medical skills has been the focus of many attempts up to now. In soft tissue modeling the most important parameter considered is its being real-time, as well as its accuracy and sensitivity. In this paper, ANFIS approach is used to present a nonlinear model for soft tissue. The required data for training the neuro-fuzzy mo...
متن کاملA Deliberative Reasoner for Model-Based Software Health Management
While traditional design-time and off-line approaches to testing and verification contribute significantly to improving and ensuring high dependability of software, they may not cover all possible fault scenarios that a system could encounter at runtime. Thus, runtime ‘health management’ of complex embedded software systems is needed to improve their dependability. Our approach to Software Heal...
متن کاملAn Approach to Management of Health Care and Medical Diagnosis Using of a Hybrid Disease Diagnosis System
Introduction: In order to simplify the information exchange within the medical diagnosis process, a collaborative software agent’s framework is presented. The purpose of the framework is to allow the automated information exchange between different medicine specialists. Methods: This study presented architecture of a hybrid disease diagnosis system. The architecture employed a learning...
متن کامل